Symbolic computation with finite biquandles
نویسندگان
چکیده
منابع مشابه
Symbolic computation with finite biquandles
A method of computing a basis for the second Yang-Baxter cohomology of a finite biquandle with coefficients in Q and Zp from a matrix presentation of the finite biquandle is described. We also describe a method for computing the Yang-Baxter cocycle invariants of an oriented knot or link represented as a signed Gauss code. We provide a URL for our Maple implementations of these algorithms.
متن کاملSymbolic computation with finite quandles
Algorithms are described and Maple implementations are provided for finding all quandles of order n, as well as computing all homomorphisms between two finite quandles or from a finitely presented quandle (e.g., a knot quandle) to a finite quandle, computing the automorphism group of a finite quandle, etc. Several of these programs work for arbitrary binary operation tables and hence algebraic ...
متن کاملSymbolic computation of the Duggal transform
Following the results of cite{Med}, regarding the Aluthge transform of polynomial matrices, the symbolic computation of the Duggal transform of a polynomial matrix $A$ is developed in this paper, using the polar decomposition and the singular value decomposition of $A$. Thereat, the polynomial singular value decomposition method is utilized, which is an iterative algorithm with numerical charac...
متن کاملClassification of finite Alexander biquandles
We show that two finite Alexander biquandles M and M ′ are isomorphic iff there is an isomorphism of Z[s, t]-modules h : (1 − st)M → (1 − st)M ′ and a bijection g : Os(A) → Os(A ) between the s-orbits of sets of coset representatives of M/(1− st)M and M /(1− st)M ′ respectively satisfying certain compatibility conditions.
متن کاملOptimised finite difference computation from symbolic equations
Domain-specific high-productivity environments are playing an increasingly important role in scientific computing due to the levels of abstraction and automation they provide. In this paper we introduce Devito, an opensource domain-specific framework for solving partial differential equations from symbolic problem definitions by the finite difference method. We highlight the generation and auto...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 2007
ISSN: 0747-7171
DOI: 10.1016/j.jsc.2007.08.006